Gnomit / Keyword Search / Info
Gnomit ? ? ?
Results 1 - 1 of 1 for:
targetlink
1
code verification
1 ?
 21,213,375 websites (safe search)

  1. PolySpace Products for Embedded Software Verification - Ada, C/C++, Simulink, Model-Based Design, UML, TargetLink, Rhapsody

    PolySpace products verify C, C++, and Ada embedded code by detecting run-time errors before code is compiled and executed. This advanced verification technology ...
    C++3
    Ada2
    UML2
    Rhapsody1
    Simulink1
    bug detection1
    PolySpace1
    TargetLink1
    code verification1
    Model-Based Design1
    run-time errors1
    Embedded Software Verification1

    www.my-polyspace.com - 2009-04-02

j2ee2 uml2 model-based design1 simulink1 java4 data acquisition2 simulation2 matlab1 c++3

About Gnomit
Keywords may contain spaces.
Separate multiple keywords with commas.
Start a new search.
Enter new keyword(s).
Narrow down your search.
Add keyword(s).
Broaden your search.
Click on Keyword to remove from query.